compose g q = compose f p
